#define NOINLINE __attribute__((noinline))
#include <stdio.h>
NOINLINE static void foo(int a, int b){
  // CHECK: foo_counter
  if(a >0){
    printf("a\n");
  }else if(a != -5){
    printf("b\n");
  }

  if(b > 3){
    printf("c\n");
  }else if(b != -1){
    printf("d\n");
  }
}

void bar(){
  foo(1, 4);
}
// CHECK: __mpl_prof_funcdesc_foo
